discrete math modulo proof

join shbcf.ru